🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Type Theory and Functional Programming (1999) [pdf]
dev.to·4d·
Discuss: DEV
🧬Functional Programming
Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
OO Design Principles: GRASP patterns
slott56.github.io·1d
🔒WASM Capabilities
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·9h·
Discuss: Hacker News
📝Concrete Syntax
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·7h·
Discuss: Hacker News
⚡Dependent Rust
Nix pills
nixos.org·10h
❄️Nixpkgs
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·1d
🔗Functional Compilers
Functional Threading “Macros”
aartaka.me·14h
🧠Lisp Dialects
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·37m·
Discuss: Hacker News
🧮Algebraic Datatypes
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·32m·
Discuss: Hacker News
🛡️WASM Security
CLUE: Non-parametric Verification from Experience via Hidden-State Clustering
arxiv.org·2d
🧠Machine Learning
Four years, Five failures, One compiler
daymare.net·10h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·5d·
Discuss: Lobsters
🔗Functional Compilers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔀Category Theory
Issue 492
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers